REF, NoConds
Auto == Auto 

latex

Up	Tactics as terms
FDL editor aliases	-auto